基于S型测试工作量函数的软件可靠性增长模型

软件测试工作量随时间的变化情况对于软件可靠性增长曲线的形状具有显著影响,因此将测试工作量函数(TEF,Testing Effort Function)引入软件可靠性增长模型(SRGM,Software Reliability Growth Model)中以提高软件可靠性评估性能.分析了软件结构特征及学习因素对实际测试过程的综合影响,研究增长速率为先增后减的S型增长趋势的TEF,提出两种S型TEF,即延迟S型TEF与变形S型TEF,并提出考虑延迟S型TEF的SRGM(DSTEF-SRGM)以及变形S型TEF的SRGM(ISTEF-SRGM).在两组真实失效数据集上,进行了这两种SRGM与经典SRGM及其它考虑TEF的SRGM的对比研究.结果表明,ISTEF-SRGM的模型拟合效果最优,同时验证了该模型具有优越的软件可靠性评估性能及模型适应性.      

对象驱动的软件测试性度量

为了使用统一的方式度量各种软件的测试性,降低测试性度量的难度和费用,提出一种对象驱动的软件测试性度量方法. 方法基于一个由测试性度量、易测试特性度量、测试性因素度量及其关系构成的软件测试性度量框架,首先分析度量的对象,确定对象的类型、对象所属软件的类型和测试情况;然后根据软件的类型和测试情况,从度量框架中选取匹配的元素,构造一个专用的软件测试性度量框架;最后根据度量对象的类型,使用专用软件测试性度量框架中的元素计算测试性因素、易测试特性或测试性. 应用表明方法能够得到软件测试性的定量结果,预计测试资源,为软件测试提供帮助.      

基于加速退化试验和粒子滤波的电子设备故障预测方法

针对导弹电子设备故障预测问题,提出了一种基于综合环境加速退化试验(ADT)和粒子滤波的故障预测新方法。首先,不同于传统的ADT方案,仅以单个样本为试验对象,采用步进加速的思想,将性能退化理论拓展为加速性能退化理论(APDT),建立基于电子设备寿命退化速度的加速寿命退化模型。其次,为克服环境应力等测试不确定性因素对预测精度的影响,定义了电子设备退化度的概念,将寿命预测的不确定性问题转化为设备退化度最优估计问题,利用改进粒子滤波算法求解出电子产品动态退化的最优估计值,进而实现设备的全寿命评估。最后,实例说明该方法可行、有效,并大大提高了试验的效费比。     

航天器红外成像检漏方法研究

红外成像检漏技术以其独特的优势在航天器检漏领域有良好的发展应用前景。文章分析了红外光谱吸收成像检漏方法、红外光声成像检漏方法及红外热成像检漏方法的基本原理与应用实例,分析研究了这几种不同红外检漏方法的特点及在航天器检漏中的应用范围,并为实施航天器红外检漏方法提供了研究思路与途径。     

脉冲热像法在航空复合材料构件无损检测中的应用

对红外热像检测技术的原理、特点和国内外应用状况作了简单的介绍,对闪光灯激励脉冲热像法中影响检测的主要参数进行了分析,并针对多种常见的复合材料构件进行了检测研究.研究结果表明:对于薄蒙皮的泡沫夹层结构件和蜂窝夹层结构件,闪光灯激励脉冲热像法能够给出清晰的检测结果和丰富的构件内部信息,可以检测出脱粘缺陷、损伤和蜂窝积水,能够用于雷达罩的在役检测.闪光灯激励脉冲热像法适于检测厚度较薄的层合板构件.     

超声波喷水穿透法在先进复合材料检测中的应用

介绍了超声波喷水穿透法的检测原理及自行研制的四轴自动超声波喷水穿透C扫描检测系统.利用该检测系统对包括平板试样件,大厚度模压件,以及筒形结构件等先进复合材料进行超声波喷水穿透法检测,结果表明该方法对先进复合材料中存在的孔隙、裂纹、脱粘和分层等缺陷能有效检出.     

基于非参数假设检验的程序缺陷定位方法

调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.     

不同迎角的翼型气弹特性风洞实验研究

基于可在不同迎角下作沉浮、俯仰两自由度运动的翼段振动装置,在低速风洞中分别针对普通薄翼型NA-CA0012和风力机翼型NREL S809进行气动弹性测试,得到不同实验状态的气动弹性振动时域响应。分别观察到经典颤振和失速颤振现象,并证明了迎角改变对两种翼型颤振特性的影响。     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

复合材料蜂窝板积水的脉冲热像检测的研究

 用数值模拟和实验研究了飞机蜂窝板积水的脉冲热像检测的规律。提出了蜂窝板积水检测的新型三维传热模型;用有限元法分析了近水检测、远水检测和立放检测3种检测模式下信息参数与积水量的关系;用脉冲热像实验验证了近水检测的基本规律。结果表明:在这3种检测模式下,最大温差和最大对比度与积水高度均呈非线性关系,随着积水高度的增加而增大。近水检测灵敏度最高,其次是蜂窝板立放检测,远水检测灵敏度最低。积水和富胶对表面温度的影响趋势一致,利用温差曲线或最大温差信息无法区分积水和富胶状态。根据可检信息参数与积水高度的关系曲线可以反向估计积水高度。这些研究结果为飞机蜂窝板积水的脉冲热像检测及评估提供了技术支持。